线性红利下带干扰的复合Poisson风险模型

在线性红利下将保单到达过程推广为Poisson过程,并通过添加Brownian运动来刻画保险公司不确定的收益和付款,建立线性红利下带干扰的复合Poisson风险模型.运用鞅方法得出了破产概率满足的Lundberg不等式和一般公式,并给出了生存概率满足的积分—微分方程。     

节能减排科技管理信息系统的策略研究

资源环境问题在当前成为热点研究,节能减排科技管理工作迫切需要实现信息化。通过节能减排数据信息分析,根据节能减排科技管理工作的特点,提出了节能减排科技管理信息系统的指导策略,包括系统规划策略和技术选择策略。进而从数据库设计、系统功能设计、系统应用实施3个方面提出节能减排科技管理信息系统的设计应用策略。节能减排科技管理信息系统的策略研究主题是,构建基于WebGIS的节能减排科技管理系统,采用信息技术,空间科学技术等,以实现节能减排科学管理的信息化。节能减排科技管理信息系统的策略研究探讨了建立基于WebGIS的节能减排科技管理信息系统的思路和过程[1]。     

透过节能减排政策和制度看中国节能减排

随着世界人口的增长、现代工业的高速发展,不可再生资源遭到掠夺式开采、能源消耗几何级增长、环境污染程度大大超出了生态系统的承受能力。如何解决能源短缺与污染严重对经济和社会发展的影响已经成为世界性的难题,我国同样如此。因此,加强对节能减排体系的研究,对我国节能减排工作的开展具有非常重要的意义。对我国节能减排的政策和制度进行剖析,指出了我国节能减排政策、制度以及做法中存在的问题,并提出解决的方法。     

时滞中立型神经网络全局渐近稳定性

针对具有时变时滞的中立型Hopfield神经网络,在对时变时滞的合理假设下,文中通过构造适当的Lyapunov泛函,提出了一种新的方法判定时变时滞中立型Hopfield神经网络系统的全局一致渐近稳定性。所得判据是建立在一个代数Riccati方程及其对应离散Lyapunov方程存在对称正定解之上的,并得出了易于计算机仿真实现的线性矩阵不等式的判据形式,仿真验证了结果的有效性。     

一种基于线性系统随机共振的弱信号检测方法

从工程中经常碰到的噪声背景下弱信号检测的实际需求出发,提出一种基于线性系统随机共振的弱信号检测方法,与传统的非线性系统随机共振相比,此方法计算量小、检测速度快。采用MATLAB配用的SIMULINK软件,建立线性系统随机共振仿真模拟图,通过调节系统参数或噪声强度,使系统噪声及激励信号达到最佳匹配,从而实现弱信号的检测。仿真结果表明该方法具有可行性。     

汽车稳定性控制中横摆力矩决策的LQR方法

综合跟随理想横摆角速度的方法和抑制汽车质心侧偏角的汽车稳定性控制方法,提出了一种新的最优控制方法。以线性二自由度车辆操纵特性模型为控制目标,基于汽车横摆力矩与车辆状态偏差之间的动力学关系建立了控制系统模型。采用线性二次型调节器(LQR)方法进行了汽车横摆力矩的决策,实现了汽车稳定性控制。在硬件与驾驶员在环仿真试验台上的试验验证了LQR方法的控制性能。     

一类离散Markov跳跃系统基于状态观测器的鲁棒H_∞控制

研究了具有不确定性的模式依赖时滞离散Markov跳跃系统基于状态观测器的鲁棒H∞控制问题。目的是构建依赖于系统模式的观测器和控制器,使得闭环系统是随机稳定的且具有较好的H∞干扰抑制性能。通过选取合适的随机Lyapunov函数,利用线性矩阵不等式,给出了鲁棒H∞控制器存在的时滞依赖条件。基于锥补线性化算法对控制器进行求解,得到了模式依赖观测器和控制器。最后通过数值仿真证明了本文方法的可行性。     

飞行模拟器原型系统导航数据库的构建

为了研究开发高逼真度的飞行模拟器,并为之提供真实可靠的导航数据,提出了飞行模拟器原型系统导航数据库的数据结构要求,即机场、跑道、甚高频全向信标、仪表着陆系统、测距仪系统、中波导航台和指点信标的数据结构要求。结合FlightGear、FS2004模拟飞行导航数据库和真实机场航图,得到了完整可信的导航数据。建立了导航数据库数据结构变换函数,基于Microsoft visual studio.NET,实现了导航数据结构变换,生成了飞行模拟器原型系统可用的导航数据库数据文件,构建了完整的、可信的、数据结构合理的高级飞行模拟器原型系统导航数据库。模拟器程序的运行结果表明,采用的飞行模拟器原型系统导航数据库开发的方法是有效的、可行的。     

EPS板外墙保温系统的施工工艺

本文总结了EPS板薄抹灰外墙外保温系统施工工艺,根据施工程序提出了注意的事项、具体措施.     

保域上矩阵可交换｛1｝-逆的线性映射

设F是一个特征不为2且至少含有5个元素的域.令Mn(F)为F上的n×n全矩阵代数.刻画了Mn(F)上保持矩阵可交换{1}-逆的线性映射的形式.利用保幂等结论证明了f为Mn(F)上的保持矩阵可交换{1}-逆的非零线性映射,当且仅当存在P∈GLn(F),使得f(A)=εPAP-1,A∈Mn(F),ε=±1∈F;或者存在P∈GLn(F),使得f(A)=εPAtP-1,A∈Mn(F),ε=±1∈F.